Cheung–Marks theorem